1. Clausal form logic : an introduction to the logic of computer reasoning

پدیدآورنده :

کتابخانه: كتابخانه پژوهشگاه نیرو (تهران)

موضوع : ، Expert systems )Computer science(,، Artificial intelligence,، Logic, Symbolic and mathematical,، Reasoning

2. Cognitive reasoning

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Cognitive science,Logic, Symbolic and mathematical,Reasoning

رده :
QA9
.
A77
2010eb

3. Cognitive reasoning

پدیدآورنده :

کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)

موضوع : Logic, Symbolic and mathematical,Reasoning,Cognitive science

رده :
QA9
.
A57
2010

4. Cognitive reasoning: a formal approach

پدیدآورنده :

کتابخانه: کتابخانه مرکزی، مرکز اسناد و موزه دانشگاه شهید بهشتی (تهران)

موضوع : Logic, Symbolic and mathematical,Reasoning,Cognitive science

رده :
511
.
3
A618C
2010

5. Cognitive reasoning : a formal approach

پدیدآورنده :

کتابخانه: کتابخانه پردیس بین الملل كیش دانشگاه تهران (هرمزگان)

موضوع : Logic, Symbolic and mathematical,Reasoning,Cognitive science

6. Cognitive reasoning : a formal approach

پدیدآورنده :

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع : ، Logic, Symbolic and mathematical,، Reasoning,، Cognitive science

رده :
QA
9
.
A57C6

7. Commonsense Reasoning

پدیدآورنده :

کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)

موضوع : Commonsense reasoning-- Automation.,Artificial intelligence-- Mathematics.,Logic, Symbolic and mathematical-- Data processing.,استدلال عام -- خودکاری

رده :
E-Book
,

8. Commonsense reasoning /

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Artificial intelligence-- Mathematics.,Commonsense reasoning-- Automation.,Logic, Symbolic and mathematical-- Data processing.,Artificial Intelligence.,Automation.,Electronic Data Processing.,Artificial intelligence-- Mathematics.,Logic, Symbolic and mathematical-- Data processing.

رده :
Q338
.
85
.
M84
2006eb

9. Elements of Logical Reasoning

پدیدآورنده :

کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)

موضوع : Logic, Symbolic and mathematical,Reasoning,MATHEMATICS -- Logic., bisacsh,منطق ریاضی,استدلال,ریاضیات -- منطق

رده :
QA9
.
V66
2013

10. Elements of logical reasoning /

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Logic, Symbolic and mathematical,Reasoning

رده :
QA9
.
V66
2013

11. Formal methods in artificial intelligence

پدیدآورنده :

کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید مدنی آذربایجان (آذربایجان شرقی)

موضوع : Artificial intelligence - Methodology,Logic, Symbolic and mathematical,Reasoning

رده :
Q
,
335
,.
R35
,
1988

12. Formal methods in artificial intelligence

پدیدآورنده :

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع : Methodology ، Artificial intelligence,، Logic, Symbolic and mathematical,، Reasoning

رده :
Q
335
.
R35
1988

13. Formal methods in artificial intelligence

پدیدآورنده :

کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)

موضوع : Methodology ، Attificial intelligence,، Logic, Symbolic and mathematical,، Reasoning

رده :
Q
335
.
R35
1988

14. Justification logic :

کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)

موضوع : Logic, Symbolic and mathematical. ; Inquiry (Theory of knowledge) ; Science ; Theory reduction. ; Reasoning. ;

15. Justification logic :

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Inquiry (Theory of knowledge),Logic, Symbolic and mathematical.,Reasoning.,Science-- Theory reduction.,Inquiry (Theory of knowledge),Logic, Symbolic and mathematical.,Reasoning.,Science-- Theory reduction.

رده :
QA9
.
A78
2019

16. Logic:a brief course

پدیدآورنده :

کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه الزهراء (س) (تهران)

موضوع : ، Logic.,، Reasoning-Logic.,، Symbolic and mathematical.,، Thought and thinking.

رده :
BC
50
.
M82
2011

17. Logical tools for handling change in agent-based systems

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Intelligent agents (Computer software),Logic, Symbolic and mathematical,Nonmonotonic reasoning

رده :
Q310
.
G33
2010eb

18. Mathematical Reasoning :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Logic, Symbolic and mathematical.,Reasoning.,Logic, Symbolic and mathematical.,MATHEMATICS-- Essays.,MATHEMATICS-- Pre-Calculus.,MATHEMATICS-- Reference.,Reasoning.

رده :
QA9
.
M347

19. Mathematical reasoning, rev. ed

پدیدآورنده :

کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه تهران (تهران)

موضوع : Reasoning,Logic, symbolic and mathematical

رده :
BC
177
.
H3

20. Mechanizing mathematical reasoning

کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)

موضوع : Automatic theorem proving. ; Logic, Symbolic and mathematical. ; Reasoning ; Automation. ; Reasoning ; Technique. ;